Reasoning with prioritized information by iterative aggregation of distance functions

Reasoning with prioritized information by iterative aggregation of distance functions

We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, where conclusions are drawn according to the most ‘plausible’ worlds (interpretations), namely: the worlds that are as ‘close’ as possible to the set of premises, and, at the same time, are as ‘faithful’ as possible to the...

Reasoning with Prioritized Data by Aggregation of Distance Functions

We introduce a general framework for reasoning with prioritized data by aggregation of distance functions, study some basic properties of the entailment relations that are obtained, and relate them to other approaches for maintaining uncertain information.

Reasoning with Prioritized Defaults

The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a domain independent system of axioms, written as an extended logic program, which deenes reasoning with prioritized defaults. These axioms are used in conjunction with a description of a particular domain encoded in a si...

An iterative approach for estimation of efficiency by weighted distance

Weighted/prioritized compensatory aggregation

Yager et al. first introduce compensatory operators. This paper further introduces a kind of weighted compensatory operators, and a kind of prioritized compensatory operators. The difference between these similar classes of operators are identified. In addition, the paper introduces the concepts of ordered weighted/prioritized compensatory aggregation.